Proof calculus - PDFSEARCH.IO - Document Search Engine

Proof calculus
Results: 476

#	Item
381	Version of[removed]Kirszbraun’s theorem D.H.Fremlin University of Essex, Colchester, England Wikipedia gives a statement of this theorem and an outline of its history, but no online source for the proof. It’s so pret Add to Reading List Source URL: www.essex.ac.uk Language: English - Date: 2011-07-14 07:44:34 Calculus Continuous function Filter Lambda calculus Combinatory logic Theorems and definitions in linear algebra Mathematics Mathematical analysis Operator theory
382	T&T Proof A07025 23 January[removed]Proceedings of the Royal Society of Edinburgh, 139A, 1–13, 2009 Two non-trivial solutions for a non-homogeneous Neumann problem: Add to Reading List Source URL: adatbank.transindex.ro Language: English - Date: 2010-02-16 17:24:26 Inequalities Operator theory Fourier analysis Calculus of variations Sobolev inequality Spectral theory of ordinary differential equations Linear temporal logic Mathematical analysis Mathematics Sobolev spaces
383	PDF Document Add to Reading List Source URL: www.kevinhouston.net Language: English - Date: 2010-09-21 08:32:16 Rules of inference Mathematical proofs Contraposition Theorem Converse Triviality Calculus Function Proof by contrapositive Mathematics Logic Mathematical logic
384	Corrections for Logic for Applications 2nd edition June, 2014 p[removed]: We begin by ...of the tree. –> We begin by de…ning a linear ordering n of each level n by induction on the levels. Suppose and are on level n + Add to Reading List Source URL: www.math.cornell.edu Language: English - Date: 2014-06-16 13:59:01 Propositional calculus Boolean algebra Proof theory Model theory Seattle Mariners all-time roster Logic Mathematical logic Mathematics
385	Focus-preserving Embeddings of Substructural Logics in Intuitionistic Logic Jason Reed∗ University of Pennsylvania Philadelphia, Pennsylvania, USA Frank Pfenning Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2010-01-19 08:28:42 Proof theory Philosophical logic Deduction Propositional calculus Natural deduction Linear logic First-order logic Substructural logic Modal logic Logic Mathematical logic Non-classical logic
386	Higher-Order Processes, Functions, and Sessions: A Monadic Integration Bernardo Toninho1,2 , Luis Caires2 , and Frank Pfenning1 1 2 Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2013-02-20 17:13:21 Type theory Logic in computer science Proof theory Functions and mappings Deduction Curry–Howard correspondence Monad Function Π-calculus Logic Mathematics Mathematical logic
387	Logic-Based Domain-Aware Session Types Lu´ıs Caires∗ , Jorge A. P´erez∗ , Frank Pfenning† and Bernardo Toninho∗† ∗ FCT - Universidade Nova de Lisboa Mellon University Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2014-01-21 08:18:35 Proof theory Type theory Logic in computer science Models of computation Deduction Natural deduction Curry–Howard correspondence Lambda calculus Connection Mathematical logic Mathematics Theoretical computer science
388	Linear Logical Relations and Observational Equivalences for Session-Based Concurrency Jorge A. P´ereza , Lu´ıs Cairesa , Frank Pfenningb , Bernardo Toninhoa,b a CITI and Departamento de Inform´atica, FCT Universidad Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2013-10-12 12:11:49 Type theory Theoretical computer science Proof theory Logic in computer science Deduction Curry–Howard correspondence Lambda calculus Entailment Π-calculus Logic Mathematics Mathematical logic
389	Anti-Realist Classical Logic and Realist Mathematics Greg Restall School of Philosophy, Anthropology and Social Inquiry The University of Melbourne October 13, 2009 Add to Reading List Source URL: consequently.org Language: English - Date: 2009-10-13 01:54:21 Semantics Proof theory Quantification Propositional calculus First-order logic Interpretation Intuitionistic logic Well-formed formula Atomic formula Logic Mathematical logic Predicate logic
390	A Brief History of Natural Deduction Add to Reading List Source URL: www.sfu.ca Language: English - Date: 2009-10-30 18:11:37 Propositional calculus Formal systems Boolean algebra Logical truth Natural deduction Rule of inference Sequent calculus Double negative elimination Sequent Logic Mathematical logic Proof theory

UPDATE